00100	OP
00200	STANDON(R1,Z1)
00300	NIL
00400	NIL
00500	NIL
00600	ROBOT(R1);BOX(Z1);AT(Z1,Y1);AT(R1,Y1);;
00700	ON(R1,Z1);;
00800	
00900	OP
01000	STEPUP(X1,Y1,Z1)
01100	NIL
01200	NIL
01300	NIL
01400	BOX(Z1);ROBOT(X1);STACKED(Z1,Y1);ON(X1,Y1);;
01500	ON(X1,Z1);;
01600	
01700	OP
01800	FOO(X1)
01900	NIL
02000	NIL
02100	NIL
02200	ON(X1,Y1);ON(X1,Y2);;
02300	TILT(X1,Y1,Y2);;
02400	 
02500	NIL
02700	AT(M,P);AT(B1,P);STACKED(B2,B1);BOX(B1);BOX(B2);
02800	ON(M,B1);ROBOT(M);;
02900	
03000	T
03200	((ROBOT NIL NIL NIL NIL)
03300	(AT T NIL NIL (X,*))
03400	(STACKED T NIL NIL (X,*))
03450	(TILT T NIL NIL NIL)
03500	(BOX NIL NIL NIL NIL)
03600	(ON T NIL NIL (X,*)))
03700	NIL